Penumpasan DI/TII di Jawa Tengah dilakukan dengan operasi militer yang disebut